type A = {
  b: (B)
}
